منابع مشابه
A Selective CPS Transformation
The CPS transformation makes all functions continuation-passing, uniformly. Not all functions, however, need continuations: they only do if their evaluation includes computational effects. In this paper we focus on control operations, in particular “call with current continuation” and “throw”. We characterize this involvement as a control effect and we present a selective CPS transformation tha...
متن کاملAssessing the Overhead of ML Exceptions by Selective CPS Transformation
ML’s exception handling makes it possible to describe exceptional execution flows conveniently, but it also forms a performance bottleneck. Our goal is to reduce this overhead by source-level transformation. To this end, we transform source programs into continuation-passing style (CPS), replacing handle and raise expressions by continuationcatching and throwing expressions, respectively. CPS-t...
متن کاملA !rst-order one-pass CPS transformation
We present a new transformation of -terms into continuation-passing style (CPS). This transformation operates in one pass and is both compositional and !rst-order. Previous CPS transformations only enjoyed two out of the three properties of being !rst-order, one-pass, and compositional, but the new transformation enjoys all three properties. It is proved correct directly by structural induction...
متن کاملA CPS-like Transformation of Continuation Marks
A CPS-like Transformation of Continuation Marks Kimball R. GermaneDepartment of Computer Science, BYUMaster of Science Continuation marks are a programming language feature which generalize stackinspection. Despite its usefulness, this feature has not been adopted by languages which relyon stack inspection, e.g., for dynamic security checks. One reason for this neglect may be<lb...
متن کاملThe selection monad as a CPS transformation
A computation in the continuation monad returns a final result given a continuation, ie. it is a function with type (X → R) → R. If we instead return the intermediate result at X then our computation is called a selection function. Selection functions appear in diverse areas of mathematics and computer science (especially game theory, proof theory and topology) but the existing literature does ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BRICS Report Series
سال: 2001
ISSN: 1601-5355,0909-0878
DOI: 10.7146/brics.v8i30.21690